This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...